121. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
122. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
123. Mathematical foundations of software development
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
124. Mathematical programing , Proceedings of an advance seminar conducted by the mathemaics Resarch Center the univeristy of Wiscons Wisconssim, and the UlS. Army at Madison sept. 11-13 , 1972
پدیدآورنده : Advanced seminar on Mathematical programmiong, Madison, 2791
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Programming ) Mathematics( - Congresses
رده :
QA
3
.
U45
125. Mathematical programming
پدیدآورنده : / edited by T. C. Huand, Stephen M. Robinson, proceedings of an advenced seminar conducted by the Mathematical Research Center, the University of Wisconsin, and the U. S. Army at Madison, September 11-13, 1972
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Programming (Mathematics) - Congresses
رده :
658
.
4033
A244m
1972
126. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده : Advanced Seminar on Mathematical Programming, Madison, Wis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Programming )Mathematics(
رده :
T
57
.
7
.
A38
127. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده : Advanced Seminar on Mathematical Programming, 2791, Madison, Wis.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(-- Congresses
رده :
QA
3
.
U45
no
.
30
128. Mathematical programming: recent developments and applications
پدیدآورنده : edited by Masao Iri and Kunio Tanabe
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Programming )Mathematics(
رده :
QA
402
.
5
.
M35288
129. Mathematical programs for activity analysis
پدیدآورنده : Moeseke, Paul van
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Programming )Mathematics( Congresses
رده :
T
57
.
7
.
M63
1974
130. Mathematics in transport planning and control :
پدیدآورنده : edited by J.D. Griffiths.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Traffic engineering-- Mathematical models, Congresses.,Traffic engineering-- Mathematical models.
رده :
HE332
.
I56
1998
131. Mathematics of Program Construction
پدیدآورنده : \ Ralf Hinze , Janis Voigtländer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامه‌نویسی -- ریاضیات -- کنگره ها ,برنامه‌های کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
132. Mathematics of program construction :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
133. Mathematics of program construction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
134. Mathematics of program construction
پدیدآورنده : Jeremy Gibbons, Pablo Nogueira (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming-- Mathematics, Congresses,Computer programs-- Mathematics, Congresses
رده :
QA76
.
6
.
M6926
2012eb
135. Mathematics of program construction
پدیدآورنده : Ronald Back house Jose Nuno oliveria
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
136. Mathematics of program construction :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
137. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
138. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
669
139. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
140. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
